panel: Switch workspaces when scrolling over activities

The activities button now shows workspace indicators instead
of a label. Adding the ability to switch workspaces without
entering the overview seems like a logical extension.

Closes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6928

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2933>

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 316a90f37f978e535a945841d27af797269c812e..6fa493b6931fd2c3b0d1bd95bcefd2883e5bc81d 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -460,7 +460,7 @@ class ActivitiesButton extends PanelMenu.Button {
                 Main.overview.toggle();
         }
 
-        return Clutter.EVENT_PROPAGATE;
+        return Main.wm.handleWorkspaceScroll(event);
     }
 
     vfunc_key_release_event(event) {